⊤⊤-closed relations and admissibility
نویسنده
چکیده
While developing a method for reasoning about programs, Pitts defined the ⊤⊤-closed relations as an alternative to the standard admissible relations. This paper reformulates and studies Pitts’s operational concept of ⊤⊤-closure in a semantic framework. It investigates the nontrivial connection between ⊤⊤-closure and admissibility, showing that ⊤⊤-closure is strictly stronger than admissibility and that every ⊤⊤-closed relation corresponds to an admissible preorder.
منابع مشابه
Consequence Relations and Admissible Rules
This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi-conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced...
متن کاملRejecting inadmissible rules in reduced normal forms in S4
Several methods for checking admissibility of rules in the modal logic S4 are presented in [1], [15]. These methods determine admissibility of rules in S4, but they don’t determine or give substitutions rejecting inadmissible rules. In this paper, we investigate some relations between one of the above methods, based on the reduced normal form rules, and sets of substitutions which reject them. ...
متن کاملOn the Lie-Santilli Admissibility
The largest class of hyperstructures is the one which satisfies the weak properties. We connect the theory of P-hopes, a large class of hyperoperations, with the Lie-Santilli admissibility used in Hardonic Mechanics. This can be achieved by a kind of Ree, sandwich hyperoperation.
متن کاملA necessary condition for a Shearlet system to be a frame via admissibility
Necessary conditions for shearlet and cone-adapted shearlet systems to be frames are presented with respect to the admissibility condition of generators.
متن کاملHigher Order Moments and Recurrence Relations of Order Statistics from the Exponentiated Gamma Distribution
Order statistics arising from exponentiated gamma (EG) distribution are considered. Closed from expressions for the single and double moments of order statistics are derived. Measures of skewness and kurtosis of the probability density function of the rth order statistic for different choices of r, n and /theta are presented. Recurrence relations between single and double moments of r...
متن کامل